import time

a = 415321200000
a = time.strftime('%Y-%m-%d %H:%M:%S', time.localtime(a/1000))
print(a)
